Formal Derivation of Concurrent Garbage Collectors

Concurrent garbage collectors are notoriously difficult to implement correctly. Previous approaches to the issue of producing correct collectors have mainly been based on posit-and-prove verification or on the application of domain-specific templates and transformations. We show how to derive the upper reaches of a family of concurrent garbage collectors by refinement from a formal specification, emphasizing the application of domain-independent design theories and transformations. A key contribution is an extension to the classical lattice-theoretic fixpoint theorems to account for the dynamics of concurrent mutation and collection.Comment: 38 pages, 21 figures. The short version of this paper appeared in the Proceedings of MPC 201

Potential effect of prior raccoonpox virus infection in raccoons on vaccinia-based rabies immunization

<p>Abstract</p> <p>Background</p> <p>The USDA, Wildlife Services cooperative oral rabies vaccination (ORV) program uses a live vaccinia virus-vectored (genus <it>Orthopoxvirus</it>) vaccine, Raboral V-RG^®(V-RG), to vaccinate specific wildlife species against rabies virus in several regions of the U.S. Several naturally occurring orthopoxviruses have been found in North America, including one isolated from asymptomatic raccoons (<it>Procyon lotor</it>). The effect of naturally occurring antibodies to orthopoxviruses on successful V-RG vaccination in raccoons is the focus of this study.</p> <p>Results</p> <p>Overall, raccoons pre-immunized (n = 10) with a recombinant raccoonpox virus vaccine (RCN-F1) responded to vaccination with V-RG with lower rabies virus neutralizing antibody (VNA) titers than those which were not pre-immunized (n = 10) and some failed to seroconvert for rabies VNA to detectable levels.</p> <p>Conclusion</p> <p>These results suggest that the success of some ORV campaigns may be hindered where raccoonpox virus or possibly other orthopoxvirus antibodies are common in wildlife species targeted for ORV. If these areas are identified, different vaccination strategies may be warranted.</p

Mode of Biochar Application to Vertisols Influences Water Balance Components and Water Use Efficiency of Maize (Zea mays L.)

Vertisols belong to a group of soils with high fertility but poor physical properties of swelling when wet and shrinking and cracking when dry. The swelling inhibits infiltration, resulting in flooding, limiting the production of upland crops. Biochar (&lt;BC) application has been shown to reduce the shrink-swell behaviour of Vertisols. However, the mode of biochar application to these soils may affect the effectiveness of the amendment. This study investigated the water relations and maize (Zea mays L.) growth under two BC application modes: (i) biochar applied into cracks that develop with drying, C, and (ii) biochar that was surface broadcast and incorporated into the topsoil, FM. A control treatment did not receive any BC amendment. Maize was grown on the BC-amended Vertisols using the two modes of application in a greenhouse under two seasonal water regimes of 610 and 450 mm. The results showed that the proportion of total water application lost to runoff was 37%, 49% and 53% for C, FM and control treatments, respectively. Both maize yield and Water Use Efficiency (WUE), for the C treatments were significantly (p &lt; 0.05) higher than those for FM treatments. The maize yield under the C treatments was 19% over the control. Similarly, the WUE for the C treatments was 28% above the control treatment. It is concluded that the application of biochar into cracks is a more effective way of improving the water relations and upland crop productivity and WUE in Vertisols than the traditional surface incorporation

Transesophageal Echocardiographically-Confirmed Pulmonary Vein Thrombosis in Association with Posterior Circulation Infarction

Pulmonary venous thromboembolism has only been identified as a cause of stroke with pulmonary arteriovenous malformations/fistulae, pulmonary neoplasia, transplantation or lobectomy, and following percutaneous radiofrequency ablation of pulmonary vein ostia in patients with atrial fibrillation. A 59-year-old man presented with a posterior circulation ischemic stroke. ‘Unheralded’ pulmonary vein thrombosis was identified on transesophageal echocardiography as the likely etiology. He had no further cerebrovascular events after intensifying antithrombotic therapy. Twenty-eight months after initial presentation, he was diagnosed with metastatic pancreatic adenocarcinoma and died 3 months later. This report illustrates the importance of doing transesophageal echocardiography in presumed ‘cardioembolic’ stroke, and that potential ‘pulmonary venous thromboembolic’ stroke may occur in patients without traditional risk factors for venous thromboembolism. Consideration should be given to screening such patients for occult malignancy

Location and Land use effects on Soil Carbon Accretion and Productivity in the Coastal Savanna Agro-ecological Zone of Ghana

Land use type, climate and soil properties are major determinants of soil carbon storage and productivity, especially in low-input agriculture. In this study, we investigated the interactions among these factors at four (4) locations, namely Accra Metropolis, Ga West, Ga East and Shai Osudoku, within the Coastal-Savannah agro-ecological zone of Ghana. The land use types were maize-based cropping, cassava-based cropping, woodlot/plantations and natural forests. The impact of these on soil productivity at a given location was assessed in terms of soil carbon stocks and a Soil Productivity Index (SPI). The SPI is a composite value derived from routine soil properties such as: soil texture, available water capacity, pH, cation exchange capacity, soil organic carbon, available P, exchangeable K, potentially mineralizable nitrogen, and basic cations, among others. Principal component analysis was used to select soil properties that were used to estimate SPI. The results showed that the locations differed with respect to rainfall regimes and soil types. Locations with slightly heavier soil texture and relatively higher rainfall regimes (Ga East and Shai Osudoku) had significantly higher soil carbon storage and SPI values than the lighter soil textured locations (Accra Metropolis and Ga West). With regards to land use, forest had significantly higher soil carbon storage and SPI than all the other land use types, irrespective of location. The order of soil carbon storage and SPI were: forest &gt; woodlot/plantation &gt; cassava &gt; maize. It was observed that though the Accra Metropolis location hosted the oldest forest, soil carbon was still low, apparently due to the lighter soil texture. We concluded that the soil productivity restorative ability is an interactive effect of carbon management (land use), soil texture and other properties. This interaction hitherto has not been adequately investigated, especially in low-input agriculture

Phylogeny and expression analysis of C-reactive protein (CRP) and serum amyloid-P (SAP) like genes reveal two distinct groups in fish

This work was funded by British Society of Animal Science/Genesis Faraday to both SAM and SB Immune control of energy reallocation in fish and a BBSRC Research Experience Placements (2010).Peer reviewedPublisher PD

Patency of arterial repairs from wartime extremity vascular injuries

Background: Extremity vascular injury (EVI) causes significant disability in Veterans of the Afghanistan/Iraq conflicts. Advancements in acute trauma care improved survival and decreased amputations. The study of wartime EVI has relied on successful limb salvage as a surrogate for vascular repair. We used imaging studies as a specific measure of arterial repair durability. Methods: Service members with EVI were identified using the Department of Defense Trauma Registry and validated by chart abstraction. Inclusion criteria for the arterial patency subgroup included an initial repair attempt with subsequent imaging reports (duplex ultrasound, CT angiography, and angiogram) documenting initial patency. Results: The cohort of 527 included 140 Veterans with available imaging studies for 143 arterial repairs; median follow-up from injury time to last available imaging study was 19 months (Q1-Q3: 3-58; range: 1-175). Injury mechanism was predominantly explosions (52%) and gunshot wounds (42%). Of the 143 arterial repairs, 81% were vein grafts. Eight repairs were occluded, replaced or included in extremity amputations. One upper extremity and three transtibial late amputations were performed for chronic pain and poor function averaging 27 months (SD: 4; range: 24-32). Kaplan-Meier analysis estimated patency rates of 99%, 97%, 95%, 91% and 91% at 3, 6, 12, 24, and 36 months, respectively, with similar results for upper and lower extremity repairs. Explosive and gunshot wound injury mechanisms had similar patency rates and upper extremity injuries repaired with vein grafts had increased patency. Conclusions: Arterial repair mid-term patency in combat-related extremity injuries is excellent based on imaging studies for 143 repairs. Assertive attempts at acute limb salvage and vascular repair are justified with decisions for amputation versus limb salvage based on the overall condition of the patient and degree of concomitant nerve, orthopedic and soft tissue injuries rather than the presence of arterial injuries. Level of evidence: Therapeutic/care management, level IV